$\forall$${\it es}$:ES, ${\it Sys}$:AbsInterface(Top), $f$:sys{-}antecedent(${\it es}$;${\it Sys}$). fifo{-}antecedent(${\it es}$;${\it Sys}$;$f$) $\in$ $\mathbb{P}$